Sums of Squares Polynomial Program Reformulations for Adjustable Robust Linear Optimization Problems with Separable Polynomial Decision Rules
نویسندگان
چکیده
Abstract We show that adjustable robust linear programs with affinely box data uncertainties under separable polynomial decision rules admit exact sums of squares (SOS) reformulations. These problems share the same optimal values and a one-to-one correspondence between solutions. A sum representation non-negativity non-convex over plays key role in reformulation. This reformulation allows us to find solutions uncertain uncertainty by numerically solving their associated equivalent SOS optimization problem using semi-definite programming. illustrate how quality solution improves as degree increases. Our results demonstrate approach actual increases from one fifteen.
منابع مشابه
Sums of Squares and Semidefinite Program Relaxations for Polynomial Optimization Problems with Structured Sparsity
Unconstrained and inequality constrained sparse polynomial optimization problems (POPs) are considered. A correlative sparsity pattern graph is defined to find a certain sparse structure in the objective and constraint polynomials of a POP. Based on this graph, sets of the supports for sums of squares (SOS) polynomials that lead to efficient SOS and semidefinite program (SDP) relaxations are ob...
متن کاملSums of Squares and Semidefinite Programming Relaxations for Polynomial Optimization Problems with Structured Sparsity
Unconstrained and inequality constrained sparse polynomial optimization problems (POPs) are considered. A correlative sparsity pattern graph is defined to find a certain sparse structure in the objective and constraint polynomials of a POP. Based on this graph, sets of supports for sums of squares (SOS) polynomials that lead to efficient SOS and semidefinite programming (SDP) relaxations are ob...
متن کاملCompletely positive reformulations for polynomial optimization
Polynomial optimization encompasses a very rich class of problems in which both the objective and constraints can be written in terms of polynomials on the decision variables. There is a well established body of research on quadratic polynomial optimization problems based on reformulations of the original problem as a conic program over the cone of completely positive matrices, or its conic dua...
متن کاملStandard bi-quadratic optimization problems and unconstrained polynomial reformulations
A so-called Standard Bi-Quadratic Optimization Problem (StBQP) consists in minimizing a bi-quadratic form over the Cartesian product of two simplices (so this is different from a Bi-Standard QP where a quadratic function is minimized over the same set). An application example arises in portfolio selection. In this paper we present a bi-quartic formulation of StBQP, in order to get rid of the si...
متن کاملProperty-based Polynomial Invariant Generation Using Sums-of-Squares Optimization
While abstract interpretation is not theoretically restricted to specific kinds of properties, it is, in practice, mainly developed to compute linear over-approximations of reachable sets, aka. the collecting semantics of the program. The verification of user-provided properties is not easily compatible with the usual forward fixpoint computation using numerical abstract domains. We propose her...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Set-valued and Variational Analysis
سال: 2022
ISSN: ['1877-0541', '1877-0533']
DOI: https://doi.org/10.1007/s11228-022-00648-x